<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><link rel="stylesheet" type="text/css" href="style.css" /><script type="text/javascript" src="highlight.js"></script></head><body><pre><span id="local-6989586621679615484"><span id="local-6989586621679615485"></span></span><span class="hs-pragma">{-# LANGUAGE CPP                #-}</span><span>
</span><span id="line-2"></span><span class="hs-pragma">{-# LANGUAGE DeriveDataTypeable #-}</span><span>
</span><span id="line-3"></span><span class="hs-keyword">module</span><span> </span><span class="hs-identifier">Distribution.Compat.NonEmptySet</span><span> </span><span class="hs-special">(</span><span>
</span><span id="line-4"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier">NonEmptySet</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-5"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Construction</span></span><span>
</span><span id="line-6"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#singleton"><span class="hs-identifier">singleton</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-7"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Insertion</span></span><span>
</span><span id="line-8"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#insert"><span class="hs-identifier">insert</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-9"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Deletion</span></span><span>
</span><span id="line-10"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#delete"><span class="hs-identifier">delete</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-11"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Conversions</span></span><span>
</span><span id="line-12"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#toNonEmpty"><span class="hs-identifier">toNonEmpty</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-13"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#fromNonEmpty"><span class="hs-identifier">fromNonEmpty</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-14"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#toList"><span class="hs-identifier">toList</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-15"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#toSet"><span class="hs-identifier">toSet</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-16"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Query</span></span><span>
</span><span id="line-17"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#member"><span class="hs-identifier">member</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-18"></span><span>    </span><span class="annot"><span class="hs-comment">-- * Map</span></span><span>
</span><span id="line-19"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#map"><span class="hs-identifier">map</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-20"></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-21"></span><span>
</span><span id="line-22"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Prelude.html#"><span class="hs-identifier">Prelude</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="hs-identifier">Bool</span></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><span class="hs-identifier">Eq</span></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Maybe.html#Maybe"><span class="hs-identifier">Maybe</span></a></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><span class="hs-identifier">Ord</span></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Read.html#Read"><span class="hs-identifier">Read</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Show.html#Show"><span class="hs-identifier">Show</span></a></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#String"><span class="hs-identifier">String</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Err.html#error"><span class="hs-identifier">error</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#otherwise"><span class="hs-identifier">otherwise</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#return"><span class="hs-identifier">return</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Show.html#showParen"><span class="hs-identifier">showParen</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Show.html#showString"><span class="hs-identifier">showString</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#%24"><span class="hs-operator">($)</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#%2B%2B"><span class="hs-operator">(++)</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#."><span class="hs-operator">(.)</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-23"></span><span>
</span><span id="line-24"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#"><span class="hs-identifier">Control.DeepSeq</span></a></span><span>    </span><span class="hs-special">(</span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier">NFData</span></a></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">)</span><span>
</span><span id="line-25"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Data.Data.html#"><span class="hs-identifier">Data.Data</span></a></span><span>          </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/Data.Data.html#Data"><span class="hs-identifier">Data</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-26"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Data.List.NonEmpty.html#"><span class="hs-identifier">Data.List.NonEmpty</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/GHC.Base.html#NonEmpty"><span class="hs-identifier">NonEmpty</span></a></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">)</span><span>
</span><span id="line-27"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Data.Semigroup.html#"><span class="hs-identifier">Data.Semigroup</span></a></span><span>     </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/GHC.Base.html#Semigroup"><span class="hs-identifier">Semigroup</span></a></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">)</span><span>
</span><span id="line-28"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Data.Typeable.html#"><span class="hs-identifier">Data.Typeable</span></a></span><span>      </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/Data.Typeable.Internal.html#Typeable"><span class="hs-identifier">Typeable</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-29"></span><span>
</span><span id="line-30"></span><span class="hs-keyword">import</span><span> </span><span class="hs-keyword">qualified</span><span> </span><span class="annot"><a href="../../base/src/Data.Foldable.html#"><span class="hs-identifier">Data.Foldable</span></a></span><span> </span><span class="hs-keyword">as</span><span> </span><span class="annot"><span class="hs-identifier">F</span></span><span>
</span><span id="line-31"></span><span class="hs-keyword">import</span><span> </span><span class="hs-keyword">qualified</span><span> </span><span class="annot"><a href="../../containers/src/Data.Set.html#"><span class="hs-identifier">Data.Set</span></a></span><span>      </span><span class="hs-keyword">as</span><span> </span><span class="annot"><span class="hs-identifier">Set</span></span><span>
</span><span id="line-32"></span><span>
</span><span id="line-33"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="Distribution.Compat.Binary.html"><span class="hs-identifier">Distribution.Compat.Binary</span></a></span><span>    </span><span class="hs-special">(</span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier">Binary</span></a></span><span> </span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span class="hs-special">)</span><span>
</span><span id="line-34"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html"><span class="hs-identifier">Distribution.Utils.Structured</span></a></span><span class="hs-cpp">

#if MIN_VERSION_binary(0,6,0)
</span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Control.Applicative.html#"><span class="hs-identifier">Control.Applicative</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../base/src/GHC.Base.html#empty"><span class="hs-identifier">empty</span></a></span><span class="hs-special">)</span><span class="hs-cpp">
#else
</span><span class="hs-keyword">import</span><span> </span><span class="hs-identifier">Control.Monad</span><span> </span><span class="hs-special">(</span><span class="hs-identifier">fail</span><span class="hs-special">)</span><span class="hs-cpp">
#endif
</span><span>
</span><span id="line-42"></span><span class="hs-comment">-- | @since 3.4.0.0</span><span>
</span><span id="line-43"></span><span class="hs-keyword">newtype</span><span> </span><span id="NonEmptySet"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-var">NonEmptySet</span></a></span></span><span> </span><span id="local-6989586621679615693"><span class="annot"><a href="#local-6989586621679615693"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span id="NES"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="../../containers/src/Data.Set.Internal.html#Set"><span class="hs-identifier hs-type">Set.Set</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615693"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-44"></span><span>  </span><span class="hs-keyword">deriving</span><span> </span><span class="hs-special">(</span><span id="local-6989586621679615461"><span id="local-6989586621679615466"><span class="annot"><span class="annottext">NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
(NonEmptySet a -&gt; NonEmptySet a -&gt; Bool)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; Bool) -&gt; Eq (NonEmptySet a)
forall a. Eq a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
forall a. (a -&gt; a -&gt; Bool) -&gt; (a -&gt; a -&gt; Bool) -&gt; Eq a
/= :: NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
$c/= :: forall a. Eq a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
== :: NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
$c== :: forall a. Eq a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
</span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">Eq</span></span></span></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679615426"><span id="local-6989586621679615430"><span id="local-6989586621679615434"><span id="local-6989586621679615438"><span id="local-6989586621679615442"><span id="local-6989586621679615446"><span id="local-6989586621679615451"><span class="annot"><span class="annottext">Eq (NonEmptySet a)
Eq (NonEmptySet a)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; Ordering)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; Bool)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; Bool)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; Bool)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; Bool)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a)
-&gt; (NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a)
-&gt; Ord (NonEmptySet a)
NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
NonEmptySet a -&gt; NonEmptySet a -&gt; Ordering
NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a
forall a.
Eq a
-&gt; (a -&gt; a -&gt; Ordering)
-&gt; (a -&gt; a -&gt; Bool)
-&gt; (a -&gt; a -&gt; Bool)
-&gt; (a -&gt; a -&gt; Bool)
-&gt; (a -&gt; a -&gt; Bool)
-&gt; (a -&gt; a -&gt; a)
-&gt; (a -&gt; a -&gt; a)
-&gt; Ord a
forall {a}. Ord a =&gt; Eq (NonEmptySet a)
forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Ordering
forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a
min :: NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a
$cmin :: forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a
max :: NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a
$cmax :: forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a
&gt;= :: NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
$c&gt;= :: forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
&gt; :: NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
$c&gt; :: forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
&lt;= :: NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
$c&lt;= :: forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
&lt; :: NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
$c&lt; :: forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Bool
compare :: NonEmptySet a -&gt; NonEmptySet a -&gt; Ordering
$ccompare :: forall a. Ord a =&gt; NonEmptySet a -&gt; NonEmptySet a -&gt; Ordering
</span><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Ord</span></span></span></span></span></span></span></span></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="../../base/src/Data.Typeable.Internal.html#Typeable"><span class="hs-identifier hs-type">Typeable</span></a></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679615383"><span id="local-6989586621679615385"><span id="local-6989586621679615387"><span id="local-6989586621679615389"><span id="local-6989586621679615391"><span id="local-6989586621679615393"><span id="local-6989586621679615395"><span id="local-6989586621679615397"><span id="local-6989586621679615399"><span id="local-6989586621679615405"><span id="local-6989586621679615407"><span id="local-6989586621679615409"><span id="local-6989586621679615412"><span id="local-6989586621679615416"><span class="annot"><span class="annottext">Typeable (NonEmptySet a)
Typeable (NonEmptySet a)
-&gt; (forall (c :: * -&gt; *).
    (forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
    -&gt; (forall g. g -&gt; c g) -&gt; NonEmptySet a -&gt; c (NonEmptySet a))
-&gt; (forall (c :: * -&gt; *).
    (forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
    -&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (NonEmptySet a))
-&gt; (NonEmptySet a -&gt; Constr)
-&gt; (NonEmptySet a -&gt; DataType)
-&gt; (forall (t :: * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (NonEmptySet a)))
-&gt; (forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d e. (Data d, Data e) =&gt; c (t d e))
    -&gt; Maybe (c (NonEmptySet a)))
-&gt; ((forall b. Data b =&gt; b -&gt; b) -&gt; NonEmptySet a -&gt; NonEmptySet a)
-&gt; (forall r r'.
    (r -&gt; r' -&gt; r)
    -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r)
-&gt; (forall r r'.
    (r' -&gt; r -&gt; r)
    -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r)
-&gt; (forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; [u])
-&gt; (forall u.
    Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; u)
-&gt; (forall (m :: * -&gt; *).
    Monad m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; NonEmptySet a -&gt; m (NonEmptySet a))
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; NonEmptySet a -&gt; m (NonEmptySet a))
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d)
    -&gt; NonEmptySet a -&gt; m (NonEmptySet a))
-&gt; Data (NonEmptySet a)
NonEmptySet a -&gt; DataType
NonEmptySet a -&gt; Constr
(forall b. Data b =&gt; b -&gt; b) -&gt; NonEmptySet a -&gt; NonEmptySet a
forall {a}. (Data a, Ord a) =&gt; Typeable (NonEmptySet a)
forall a. (Data a, Ord a) =&gt; NonEmptySet a -&gt; DataType
forall a. (Data a, Ord a) =&gt; NonEmptySet a -&gt; Constr
forall a.
(Data a, Ord a) =&gt;
(forall b. Data b =&gt; b -&gt; b) -&gt; NonEmptySet a -&gt; NonEmptySet a
forall a u.
(Data a, Ord a) =&gt;
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; u
forall a u.
(Data a, Ord a) =&gt;
(forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; [u]
forall a r r'.
(Data a, Ord a) =&gt;
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
forall a r r'.
(Data a, Ord a) =&gt;
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
forall a (m :: * -&gt; *).
(Data a, Ord a, Monad m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
forall a (m :: * -&gt; *).
(Data a, Ord a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
forall a (c :: * -&gt; *).
(Data a, Ord a) =&gt;
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (NonEmptySet a)
forall a (c :: * -&gt; *).
(Data a, Ord a) =&gt;
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; NonEmptySet a -&gt; c (NonEmptySet a)
forall a (t :: * -&gt; *) (c :: * -&gt; *).
(Data a, Ord a, Typeable t) =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (NonEmptySet a))
forall a (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
(Data a, Ord a, Typeable t) =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (NonEmptySet a))
forall a.
Typeable a
-&gt; (forall (c :: * -&gt; *).
    (forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
    -&gt; (forall g. g -&gt; c g) -&gt; a -&gt; c a)
-&gt; (forall (c :: * -&gt; *).
    (forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
    -&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c a)
-&gt; (a -&gt; Constr)
-&gt; (a -&gt; DataType)
-&gt; (forall (t :: * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d. Data d =&gt; c (t d)) -&gt; Maybe (c a))
-&gt; (forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
    Typeable t =&gt;
    (forall d e. (Data d, Data e) =&gt; c (t d e)) -&gt; Maybe (c a))
-&gt; ((forall b. Data b =&gt; b -&gt; b) -&gt; a -&gt; a)
-&gt; (forall r r'.
    (r -&gt; r' -&gt; r) -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; a -&gt; r)
-&gt; (forall r r'.
    (r' -&gt; r -&gt; r) -&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; a -&gt; r)
-&gt; (forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; a -&gt; [u])
-&gt; (forall u. Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; a -&gt; u)
-&gt; (forall (m :: * -&gt; *).
    Monad m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; (forall (m :: * -&gt; *).
    MonadPlus m =&gt;
    (forall d. Data d =&gt; d -&gt; m d) -&gt; a -&gt; m a)
-&gt; Data a
forall u. Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; u
forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; [u]
forall r r'.
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
forall r r'.
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
forall (m :: * -&gt; *).
Monad m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
forall (c :: * -&gt; *).
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (NonEmptySet a)
forall (c :: * -&gt; *).
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; NonEmptySet a -&gt; c (NonEmptySet a)
forall (t :: * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (NonEmptySet a))
forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (NonEmptySet a))
gmapMo :: forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
$cgmapMo :: forall a (m :: * -&gt; *).
(Data a, Ord a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
gmapMp :: forall (m :: * -&gt; *).
MonadPlus m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
$cgmapMp :: forall a (m :: * -&gt; *).
(Data a, Ord a, MonadPlus m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
gmapM :: forall (m :: * -&gt; *).
Monad m =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
$cgmapM :: forall a (m :: * -&gt; *).
(Data a, Ord a, Monad m) =&gt;
(forall d. Data d =&gt; d -&gt; m d)
-&gt; NonEmptySet a -&gt; m (NonEmptySet a)
gmapQi :: forall u. Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; u
$cgmapQi :: forall a u.
(Data a, Ord a) =&gt;
Int -&gt; (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; u
gmapQ :: forall u. (forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; [u]
$cgmapQ :: forall a u.
(Data a, Ord a) =&gt;
(forall d. Data d =&gt; d -&gt; u) -&gt; NonEmptySet a -&gt; [u]
gmapQr :: forall r r'.
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
$cgmapQr :: forall a r r'.
(Data a, Ord a) =&gt;
(r' -&gt; r -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
gmapQl :: forall r r'.
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
$cgmapQl :: forall a r r'.
(Data a, Ord a) =&gt;
(r -&gt; r' -&gt; r)
-&gt; r -&gt; (forall d. Data d =&gt; d -&gt; r') -&gt; NonEmptySet a -&gt; r
gmapT :: (forall b. Data b =&gt; b -&gt; b) -&gt; NonEmptySet a -&gt; NonEmptySet a
$cgmapT :: forall a.
(Data a, Ord a) =&gt;
(forall b. Data b =&gt; b -&gt; b) -&gt; NonEmptySet a -&gt; NonEmptySet a
dataCast2 :: forall (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (NonEmptySet a))
$cdataCast2 :: forall a (t :: * -&gt; * -&gt; *) (c :: * -&gt; *).
(Data a, Ord a, Typeable t) =&gt;
(forall d e. (Data d, Data e) =&gt; c (t d e))
-&gt; Maybe (c (NonEmptySet a))
dataCast1 :: forall (t :: * -&gt; *) (c :: * -&gt; *).
Typeable t =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (NonEmptySet a))
$cdataCast1 :: forall a (t :: * -&gt; *) (c :: * -&gt; *).
(Data a, Ord a, Typeable t) =&gt;
(forall d. Data d =&gt; c (t d)) -&gt; Maybe (c (NonEmptySet a))
dataTypeOf :: NonEmptySet a -&gt; DataType
$cdataTypeOf :: forall a. (Data a, Ord a) =&gt; NonEmptySet a -&gt; DataType
toConstr :: NonEmptySet a -&gt; Constr
$ctoConstr :: forall a. (Data a, Ord a) =&gt; NonEmptySet a -&gt; Constr
gunfold :: forall (c :: * -&gt; *).
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (NonEmptySet a)
$cgunfold :: forall a (c :: * -&gt; *).
(Data a, Ord a) =&gt;
(forall b r. Data b =&gt; c (b -&gt; r) -&gt; c r)
-&gt; (forall r. r -&gt; c r) -&gt; Constr -&gt; c (NonEmptySet a)
gfoldl :: forall (c :: * -&gt; *).
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; NonEmptySet a -&gt; c (NonEmptySet a)
$cgfoldl :: forall a (c :: * -&gt; *).
(Data a, Ord a) =&gt;
(forall d b. Data d =&gt; c (d -&gt; b) -&gt; d -&gt; c b)
-&gt; (forall g. g -&gt; c g) -&gt; NonEmptySet a -&gt; c (NonEmptySet a)
</span><a href="../../base/src/Data.Data.html#Data"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Data</span></a></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679615367"><span id="local-6989586621679615375"><span id="local-6989586621679615378"><span id="local-6989586621679615380"><span class="annot"><span class="annottext">ReadPrec [NonEmptySet a]
ReadPrec (NonEmptySet a)
Int -&gt; ReadS (NonEmptySet a)
ReadS [NonEmptySet a]
(Int -&gt; ReadS (NonEmptySet a))
-&gt; ReadS [NonEmptySet a]
-&gt; ReadPrec (NonEmptySet a)
-&gt; ReadPrec [NonEmptySet a]
-&gt; Read (NonEmptySet a)
forall a. (Read a, Ord a) =&gt; ReadPrec [NonEmptySet a]
forall a. (Read a, Ord a) =&gt; ReadPrec (NonEmptySet a)
forall a. (Read a, Ord a) =&gt; Int -&gt; ReadS (NonEmptySet a)
forall a. (Read a, Ord a) =&gt; ReadS [NonEmptySet a]
forall a.
(Int -&gt; ReadS a)
-&gt; ReadS [a] -&gt; ReadPrec a -&gt; ReadPrec [a] -&gt; Read a
readListPrec :: ReadPrec [NonEmptySet a]
$creadListPrec :: forall a. (Read a, Ord a) =&gt; ReadPrec [NonEmptySet a]
readPrec :: ReadPrec (NonEmptySet a)
$creadPrec :: forall a. (Read a, Ord a) =&gt; ReadPrec (NonEmptySet a)
readList :: ReadS [NonEmptySet a]
$creadList :: forall a. (Read a, Ord a) =&gt; ReadS [NonEmptySet a]
readsPrec :: Int -&gt; ReadS (NonEmptySet a)
$creadsPrec :: forall a. (Read a, Ord a) =&gt; Int -&gt; ReadS (NonEmptySet a)
</span><a href="../../base/src/GHC.Read.html#Read"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Read</span></a></span></span></span></span></span><span class="hs-special">)</span><span>
</span><span id="line-45"></span><span>
</span><span id="line-46"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-47"></span><span class="hs-comment">-- Instances</span><span>
</span><span id="line-48"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-49"></span><span>
</span><span id="line-50"></span><span id="local-6989586621679615650"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679615360"><span id="local-6989586621679615362"><span class="annot"><a href="../../base/src/GHC.Show.html#Show"><span class="hs-identifier hs-type">Show</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615650"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../base/src/GHC.Show.html#Show"><span class="hs-identifier hs-type">Show</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615650"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-51"></span><span>    </span><span id="local-6989586621679615352"><span class="annot"><span class="annottext">showsPrec :: Int -&gt; NonEmptySet a -&gt; ShowS
</span><a href="../../base/src/GHC.Show.html#showsPrec"><span class="hs-identifier hs-var hs-var hs-var hs-var">showsPrec</span></a></span></span><span> </span><span id="local-6989586621679615350"><span class="annot"><span class="annottext">Int
</span><a href="#local-6989586621679615350"><span class="hs-identifier hs-var">d</span></a></span></span><span> </span><span id="local-6989586621679615349"><span class="annot"><span class="annottext">NonEmptySet a
</span><a href="#local-6989586621679615349"><span class="hs-identifier hs-var">s</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool -&gt; ShowS -&gt; ShowS
</span><a href="../../base/src/GHC.Show.html#showParen"><span class="hs-identifier hs-var">showParen</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Int
</span><a href="#local-6989586621679615350"><span class="hs-identifier hs-var">d</span></a></span><span> </span><span class="annot"><span class="annottext">Int -&gt; Int -&gt; Bool
forall a. Ord a =&gt; a -&gt; a -&gt; Bool
</span><span class="hs-operator hs-var">&gt;</span></span><span> </span><span class="annot"><span class="annottext">Int
</span><span class="hs-number">10</span></span><span class="hs-special">)</span><span>
</span><span id="line-52"></span><span>        </span><span class="annot"><span class="annottext">(ShowS -&gt; ShowS) -&gt; ShowS -&gt; ShowS
forall a b. (a -&gt; b) -&gt; a -&gt; b
</span><a href="../../base/src/GHC.Base.html#%24"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="annot"><span class="annottext">String -&gt; ShowS
</span><a href="../../base/src/GHC.Show.html#showString"><span class="hs-identifier hs-var">showString</span></a></span><span> </span><span class="annot"><span class="annottext">String
</span><span class="hs-string">&quot;fromNonEmpty &quot;</span></span><span>
</span><span id="line-53"></span><span>        </span><span class="annot"><span class="annottext">ShowS -&gt; ShowS -&gt; ShowS
forall b c a. (b -&gt; c) -&gt; (a -&gt; b) -&gt; a -&gt; c
</span><a href="../../base/src/GHC.Base.html#."><span class="hs-operator hs-var">.</span></a></span><span> </span><span class="annot"><span class="annottext">Int -&gt; NonEmpty a -&gt; ShowS
forall a. Show a =&gt; Int -&gt; a -&gt; ShowS
</span><a href="../../base/src/GHC.Show.html#showsPrec"><span class="hs-identifier hs-var">showsPrec</span></a></span><span> </span><span class="annot"><span class="annottext">Int
</span><span class="hs-number">11</span></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">NonEmptySet a -&gt; NonEmpty a
forall a. NonEmptySet a -&gt; NonEmpty a
</span><a href="Distribution.Compat.NonEmptySet.html#toNonEmpty"><span class="hs-identifier hs-var">toNonEmpty</span></a></span><span> </span><span class="annot"><span class="annottext">NonEmptySet a
</span><a href="#local-6989586621679615349"><span class="hs-identifier hs-var">s</span></a></span><span class="hs-special">)</span></span><span>
</span><span id="line-54"></span><span>
</span><span id="line-55"></span><span id="local-6989586621679615637"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679615344"><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615637"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615637"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-56"></span><span>    </span><span id="local-6989586621679615340"><span class="annot"><span class="annottext">put :: NonEmptySet a -&gt; Put
</span><a href="../../binary/src/Data.Binary.Class.html#put"><span class="hs-identifier hs-var hs-var hs-var hs-var">put</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615338"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615338"><span class="hs-identifier hs-var">s</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; Put
forall t. Binary t =&gt; t -&gt; Put
</span><a href="../../binary/src/Data.Binary.Class.html#put"><span class="hs-identifier hs-var">put</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615338"><span class="hs-identifier hs-var">s</span></a></span><span>
</span><span id="line-57"></span><span>    </span><span id="local-6989586621679615331"><span class="annot"><span class="annottext">get :: Get (NonEmptySet a)
</span><a href="../../binary/src/Data.Binary.Class.html#get"><span class="hs-identifier hs-var hs-var hs-var hs-var">get</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">do</span><span>
</span><span id="line-58"></span><span>        </span><span id="local-6989586621679615329"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615329"><span class="hs-identifier hs-var">xs</span></a></span></span><span> </span><span class="hs-glyph">&lt;-</span><span> </span><span class="annot"><span class="annottext">Get (Set a)
forall t. Binary t =&gt; Get t
</span><a href="../../binary/src/Data.Binary.Class.html#get"><span class="hs-identifier hs-var">get</span></a></span><span>
</span><span id="line-59"></span><span>        </span><span class="hs-keyword">if</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; Bool
forall a. Set a -&gt; Bool
</span><a href="../../containers/src/Data.Set.Internal.html#null"><span class="hs-identifier hs-var">Set.null</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615329"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-cpp">
#if MIN_VERSION_binary(0,6,0)
</span><span>        </span><span class="hs-keyword">then</span><span> </span><span class="annot"><span class="annottext">Get (NonEmptySet a)
forall (f :: * -&gt; *) a. Alternative f =&gt; f a
</span><a href="../../base/src/GHC.Base.html#empty"><span class="hs-identifier hs-var">empty</span></a></span><span class="hs-cpp">
#else
</span><span>        </span><span class="hs-keyword">then</span><span> </span><span class="hs-identifier">fail</span><span> </span><span class="hs-string">&quot;NonEmptySet: empty&quot;</span><span class="hs-cpp">
#endif
</span><span>        </span><span class="hs-keyword">else</span><span> </span><span class="annot"><span class="annottext">NonEmptySet a -&gt; Get (NonEmptySet a)
forall (m :: * -&gt; *) a. Monad m =&gt; a -&gt; m a
</span><a href="../../base/src/GHC.Base.html#return"><span class="hs-identifier hs-var">return</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Set a -&gt; NonEmptySet a
forall a. Set a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615329"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span></span><span>
</span><span id="line-66"></span><span>
</span><span id="line-67"></span><span id="local-6989586621679615624"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679615322"><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615624"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="Distribution.Utils.Structured.html#Structured"><span class="hs-identifier hs-type">Structured</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615624"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-68"></span><span>    </span><span id="local-6989586621679615318"><span class="annot"><span class="annottext">structure :: Proxy (NonEmptySet a) -&gt; Structure
</span><a href="Distribution.Utils.Structured.html#structure"><span class="hs-identifier hs-var hs-var hs-var hs-var">structure</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Proxy (NonEmptySet a) -&gt; Structure
forall {k} (f :: * -&gt; k) a.
(Typeable f, Structured a) =&gt;
Proxy (f a) -&gt; Structure
</span><a href="Distribution.Utils.Structured.html#containerStructure"><span class="hs-identifier hs-var">containerStructure</span></a></span></span><span>
</span><span id="line-69"></span><span>
</span><span id="line-70"></span><span id="local-6989586621679615617"><span class="hs-keyword">instance</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615617"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615617"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-71"></span><span>    </span><span id="local-6989586621679615309"><span class="annot"><span class="annottext">rnf :: NonEmptySet a -&gt; ()
</span><a href="../../deepseq/src/Control.DeepSeq.html#rnf"><span class="hs-identifier hs-var hs-var hs-var hs-var">rnf</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615307"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615307"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; ()
forall a. NFData a =&gt; a -&gt; ()
</span><a href="../../deepseq/src/Control.DeepSeq.html#rnf"><span class="hs-identifier hs-var">rnf</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615307"><span class="hs-identifier hs-var">x</span></a></span></span><span>
</span><span id="line-72"></span><span>
</span><span id="line-73"></span><span class="hs-comment">-- | Note: there aren't @Monoid@ instance.</span><span>
</span><span id="line-74"></span><span id="local-6989586621679615613"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679615302"><span id="local-6989586621679615304"><span class="annot"><span class="hs-identifier hs-type">Ord</span></span><span> </span><span class="annot"><a href="#local-6989586621679615613"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#Semigroup"><span class="hs-identifier hs-type">Semigroup</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615613"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-75"></span><span>    </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615299"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615299"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span id="local-6989586621679615298"><span class="annot"><span class="annottext">&lt;&gt; :: NonEmptySet a -&gt; NonEmptySet a -&gt; NonEmptySet a
</span><a href="../../base/src/GHC.Base.html#%3C%3E"><span class="hs-operator hs-var hs-var hs-var hs-var">&lt;&gt;</span></a></span></span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615297"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615297"><span class="hs-identifier hs-var">y</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; NonEmptySet a
forall a. Set a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Set a -&gt; Set a -&gt; Set a
forall a. Ord a =&gt; Set a -&gt; Set a -&gt; Set a
</span><a href="../../containers/src/Data.Set.Internal.html#union"><span class="hs-identifier hs-var">Set.union</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615299"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615297"><span class="hs-identifier hs-var">y</span></a></span><span class="hs-special">)</span></span><span>
</span><span id="line-76"></span><span>
</span><span id="line-77"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679615267"><span id="local-6989586621679615269"><span id="local-6989586621679615271"><span id="local-6989586621679615273"><span id="local-6989586621679615275"><span id="local-6989586621679615280"><span id="local-6989586621679615282"><span id="local-6989586621679615284"><span id="local-6989586621679615286"><span id="local-6989586621679615288"><span id="local-6989586621679615291"><span id="local-6989586621679615294"><span class="annot"><a href="../../base/src/Data.Foldable.html#Foldable"><span class="hs-identifier hs-type">F.Foldable</span></a></span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span></span></span></span></span></span></span></span></span></span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-78"></span><span>    </span><span id="local-6989586621679615261"><span class="annot"><span class="annottext">foldMap :: forall m a. Monoid m =&gt; (a -&gt; m) -&gt; NonEmptySet a -&gt; m
</span><a href="../../base/src/Data.Foldable.html#foldMap"><span class="hs-identifier hs-var hs-var hs-var hs-var">foldMap</span></a></span></span><span> </span><span id="local-6989586621679615259"><span class="annot"><span class="annottext">a -&gt; m
</span><a href="#local-6989586621679615259"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615258"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615258"><span class="hs-identifier hs-var">s</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; m) -&gt; Set a -&gt; m
forall (t :: * -&gt; *) m a.
(Foldable t, Monoid m) =&gt;
(a -&gt; m) -&gt; t a -&gt; m
</span><a href="../../base/src/Data.Foldable.html#foldMap"><span class="hs-identifier hs-var">F.foldMap</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; m
</span><a href="#local-6989586621679615259"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615258"><span class="hs-identifier hs-var">s</span></a></span><span>
</span><span id="line-79"></span><span>    </span><span id="local-6989586621679615256"><span class="annot"><span class="annottext">foldr :: forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; NonEmptySet a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldr"><span class="hs-identifier hs-var hs-var hs-var hs-var">foldr</span></a></span></span><span> </span><span id="local-6989586621679615254"><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621679615254"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span id="local-6989586621679615253"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621679615253"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615252"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615252"><span class="hs-identifier hs-var">s</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; Set a -&gt; b
forall (t :: * -&gt; *) a b.
Foldable t =&gt;
(a -&gt; b -&gt; b) -&gt; b -&gt; t a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldr"><span class="hs-identifier hs-var">F.foldr</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621679615254"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621679615253"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615252"><span class="hs-identifier hs-var">s</span></a></span><span class="hs-cpp">

#if MIN_VERSION_base(4,8,0)
</span><span>    </span><span id="local-6989586621679615251"><span class="annot"><span class="annottext">toList :: forall a. NonEmptySet a -&gt; [a]
</span><a href="../../base/src/Data.Foldable.html#toList"><span class="hs-identifier hs-var hs-var hs-var hs-var">toList</span></a></span></span><span>         </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">NonEmptySet a -&gt; [a]
forall a. NonEmptySet a -&gt; [a]
</span><a href="Distribution.Compat.NonEmptySet.html#toList"><span class="hs-identifier hs-var">toList</span></a></span><span>
</span><span id="line-83"></span><span>    </span><span id="local-6989586621679615249"><span class="annot"><span class="annottext">null :: forall a. NonEmptySet a -&gt; Bool
</span><a href="../../base/src/Data.Foldable.html#null"><span class="hs-identifier hs-var hs-var hs-var hs-var">null</span></a></span></span><span> </span><span class="annot"><span class="annottext">NonEmptySet a
</span><span class="hs-identifier">_</span></span><span>         </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">False</span></span><span>
</span><span id="line-84"></span><span>    </span><span id="local-6989586621679615246"><span class="annot"><span class="annottext">length :: forall a. NonEmptySet a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var hs-var hs-var hs-var">length</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615244"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615244"><span class="hs-identifier hs-var">s</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; Int
forall (t :: * -&gt; *) a. Foldable t =&gt; t a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var">F.length</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615244"><span class="hs-identifier hs-var">s</span></a></span><span class="hs-cpp">
#endif
</span><span>
</span><span id="line-87"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-88"></span><span class="hs-comment">-- Constructors</span><span>
</span><span id="line-89"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-90"></span><span>
</span><span id="line-91"></span><span id="local-6989586621679615589"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#singleton"><span class="hs-identifier hs-type">singleton</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="#local-6989586621679615589"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615589"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-92"></span><span id="singleton"><span class="annot"><span class="annottext">singleton :: forall a. a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#singleton"><span class="hs-identifier hs-var hs-var">singleton</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; NonEmptySet a
forall a. Set a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span><span> </span><span class="annot"><span class="annottext">(Set a -&gt; NonEmptySet a) -&gt; (a -&gt; Set a) -&gt; a -&gt; NonEmptySet a
forall b c a. (b -&gt; c) -&gt; (a -&gt; b) -&gt; a -&gt; c
</span><a href="../../base/src/GHC.Base.html#."><span class="hs-operator hs-var">.</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; Set a
forall a. a -&gt; Set a
</span><a href="../../containers/src/Data.Set.Internal.html#singleton"><span class="hs-identifier hs-var">Set.singleton</span></a></span><span>
</span><span id="line-93"></span><span>
</span><span id="line-94"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-95"></span><span class="hs-comment">-- Insertion</span><span>
</span><span id="line-96"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-97"></span><span>
</span><span id="line-98"></span><span id="local-6989586621679615586"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#insert"><span class="hs-identifier hs-type">insert</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Ord</span></span><span> </span><span class="annot"><a href="#local-6989586621679615586"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679615586"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615586"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615586"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-99"></span><span id="insert"><span class="annot"><span class="annottext">insert :: forall a. Ord a =&gt; a -&gt; NonEmptySet a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#insert"><span class="hs-identifier hs-var hs-var">insert</span></a></span></span><span> </span><span id="local-6989586621679615240"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615240"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615239"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615239"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; NonEmptySet a
forall a. Set a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a -&gt; Set a -&gt; Set a
forall a. Ord a =&gt; a -&gt; Set a -&gt; Set a
</span><a href="../../containers/src/Data.Set.Internal.html#insert"><span class="hs-identifier hs-var">Set.insert</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615240"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615239"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-100"></span><span>
</span><span id="line-101"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-102"></span><span class="hs-comment">-- Deletion</span><span>
</span><span id="line-103"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-104"></span><span>
</span><span id="line-105"></span><span id="local-6989586621679615583"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#delete"><span class="hs-identifier hs-type">delete</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Ord</span></span><span> </span><span class="annot"><a href="#local-6989586621679615583"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679615583"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615583"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../base/src/GHC.Maybe.html#Maybe"><span class="hs-identifier hs-type">Maybe</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615583"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span><span>
</span><span id="line-106"></span><span id="delete"><span class="annot"><span class="annottext">delete :: forall a. Ord a =&gt; a -&gt; NonEmptySet a -&gt; Maybe (NonEmptySet a)
</span><a href="Distribution.Compat.NonEmptySet.html#delete"><span class="hs-identifier hs-var hs-var">delete</span></a></span></span><span> </span><span id="local-6989586621679615236"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615236"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615235"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615235"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span>
</span><span id="line-107"></span><span>    </span><span class="hs-glyph">|</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; Bool
forall a. Set a -&gt; Bool
</span><a href="../../containers/src/Data.Set.Internal.html#null"><span class="hs-identifier hs-var">Set.null</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615234"><span class="hs-identifier hs-var">res</span></a></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Maybe (NonEmptySet a)
forall a. Maybe a
</span><a href="../../base/src/GHC.Maybe.html#Nothing"><span class="hs-identifier hs-var">Nothing</span></a></span><span>
</span><span id="line-108"></span><span>    </span><span class="hs-glyph">|</span><span> </span><span class="annot"><span class="annottext">Bool
</span><a href="../../base/src/GHC.Base.html#otherwise"><span class="hs-identifier hs-var">otherwise</span></a></span><span>    </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">NonEmptySet a -&gt; Maybe (NonEmptySet a)
forall a. a -&gt; Maybe a
</span><a href="../../base/src/GHC.Maybe.html#Just"><span class="hs-identifier hs-var">Just</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Set a -&gt; NonEmptySet a
forall a. Set a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615235"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-109"></span><span>  </span><span class="hs-keyword">where</span><span>
</span><span id="line-110"></span><span>    </span><span id="local-6989586621679615234"><span class="annot"><span class="annottext">res :: Set a
</span><a href="#local-6989586621679615234"><span class="hs-identifier hs-var hs-var">res</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; Set a -&gt; Set a
forall a. Ord a =&gt; a -&gt; Set a -&gt; Set a
</span><a href="../../containers/src/Data.Set.Internal.html#delete"><span class="hs-identifier hs-var">Set.delete</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615236"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615235"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-111"></span><span>
</span><span id="line-112"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-113"></span><span class="hs-comment">-- Conversions</span><span>
</span><span id="line-114"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-115"></span><span>
</span><span id="line-116"></span><span id="local-6989586621679615580"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#fromNonEmpty"><span class="hs-identifier hs-type">fromNonEmpty</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Ord</span></span><span> </span><span class="annot"><a href="#local-6989586621679615580"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#NonEmpty"><span class="hs-identifier hs-type">NonEmpty</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615580"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615580"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-117"></span><span id="fromNonEmpty"><span class="annot"><span class="annottext">fromNonEmpty :: forall a. Ord a =&gt; NonEmpty a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#fromNonEmpty"><span class="hs-identifier hs-var hs-var">fromNonEmpty</span></a></span></span><span> </span><span class="hs-special">(</span><span id="local-6989586621679615229"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615229"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#%3A%7C"><span class="hs-operator hs-type">:|</span></a></span><span> </span><span id="local-6989586621679615227"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679615227"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; NonEmptySet a
forall a. Set a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">[a] -&gt; Set a
forall a. Ord a =&gt; [a] -&gt; Set a
</span><a href="../../containers/src/Data.Set.Internal.html#fromList"><span class="hs-identifier hs-var">Set.fromList</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615229"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679615227"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span class="hs-special">)</span><span>
</span><span id="line-118"></span><span>
</span><span id="line-119"></span><span id="local-6989586621679615641"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#toNonEmpty"><span class="hs-identifier hs-type">toNonEmpty</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615641"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#NonEmpty"><span class="hs-identifier hs-type">NonEmpty</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615641"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-120"></span><span id="toNonEmpty"><span class="annot"><span class="annottext">toNonEmpty :: forall a. NonEmptySet a -&gt; NonEmpty a
</span><a href="Distribution.Compat.NonEmptySet.html#toNonEmpty"><span class="hs-identifier hs-var hs-var">toNonEmpty</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615225"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615225"><span class="hs-identifier hs-var">s</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">case</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; [a]
forall a. Set a -&gt; [a]
</span><a href="../../containers/src/Data.Set.Internal.html#toList"><span class="hs-identifier hs-var">Set.toList</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615225"><span class="hs-identifier hs-var">s</span></a></span><span> </span><span class="hs-keyword">of</span><span>
</span><span id="line-121"></span><span>    </span><span class="hs-special">[</span><span class="hs-special">]</span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">String -&gt; NonEmpty a
forall a. String -&gt; a
</span><a href="Distribution.Compat.NonEmptySet.html#panic"><span class="hs-identifier hs-var">panic</span></a></span><span> </span><span class="annot"><span class="annottext">String
</span><span class="hs-string">&quot;toNonEmpty&quot;</span></span><span>
</span><span id="line-122"></span><span>    </span><span id="local-6989586621679615222"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615222"><span class="hs-identifier hs-var">x</span></a></span></span><span class="annot"><span class="hs-glyph hs-type">:</span></span><span id="local-6989586621679615221"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679615221"><span class="hs-identifier hs-var">xs</span></a></span></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615222"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; NonEmpty a
forall a. a -&gt; [a] -&gt; NonEmpty a
</span><a href="../../base/src/GHC.Base.html#%3A%7C"><span class="hs-operator hs-var">:|</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679615221"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-123"></span><span>
</span><span id="line-124"></span><span id="local-6989586621679615220"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#toList"><span class="hs-identifier hs-type">toList</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615220"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621679615220"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span></span><span>
</span><span id="line-125"></span><span id="toList"><span class="annot"><span class="annottext">toList :: forall a. NonEmptySet a -&gt; [a]
</span><a href="Distribution.Compat.NonEmptySet.html#toList"><span class="hs-identifier hs-var hs-var">toList</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615219"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615219"><span class="hs-identifier hs-var">s</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a -&gt; [a]
forall a. Set a -&gt; [a]
</span><a href="../../containers/src/Data.Set.Internal.html#toList"><span class="hs-identifier hs-var">Set.toList</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615219"><span class="hs-identifier hs-var">s</span></a></span><span>
</span><span id="line-126"></span><span>
</span><span id="line-127"></span><span id="local-6989586621679615572"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#toSet"><span class="hs-identifier hs-type">toSet</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615572"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="../../containers/src/Data.Set.Internal.html#Set"><span class="hs-identifier hs-type">Set.Set</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615572"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-128"></span><span id="toSet"><span class="annot"><span class="annottext">toSet :: forall a. NonEmptySet a -&gt; Set a
</span><a href="Distribution.Compat.NonEmptySet.html#toSet"><span class="hs-identifier hs-var hs-var">toSet</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615218"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615218"><span class="hs-identifier hs-var">s</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615218"><span class="hs-identifier hs-var">s</span></a></span><span>
</span><span id="line-129"></span><span>
</span><span id="line-130"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-131"></span><span class="hs-comment">-- Query</span><span>
</span><span id="line-132"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-133"></span><span>
</span><span id="line-134"></span><span id="local-6989586621679615570"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#member"><span class="hs-identifier hs-type">member</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Ord</span></span><span> </span><span class="annot"><a href="#local-6989586621679615570"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679615570"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615570"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Bool</span></span></span><span>
</span><span id="line-135"></span><span id="member"><span class="annot"><span class="annottext">member :: forall a. Ord a =&gt; a -&gt; NonEmptySet a -&gt; Bool
</span><a href="Distribution.Compat.NonEmptySet.html#member"><span class="hs-identifier hs-var hs-var">member</span></a></span></span><span> </span><span id="local-6989586621679615215"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615215"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615214"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615214"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; Set a -&gt; Bool
forall a. Ord a =&gt; a -&gt; Set a -&gt; Bool
</span><a href="../../containers/src/Data.Set.Internal.html#member"><span class="hs-identifier hs-var">Set.member</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679615215"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615214"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-136"></span><span>
</span><span id="line-137"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-138"></span><span class="hs-comment">-- Map</span><span>
</span><span id="line-139"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-140"></span><span>
</span><span id="line-141"></span><span id="local-6989586621679615566"><span id="local-6989586621679615567"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#map"><span class="hs-identifier hs-type">map</span></a></span><span>
</span><span id="line-142"></span><span>    </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Ord</span></span><span> </span><span class="annot"><a href="#local-6989586621679615567"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-cpp">
#if !MIN_VERSION_containers(0,5,2)
</span><span>       </span><span class="hs-special">,</span><span> </span><span class="hs-identifier">Ord</span><span> </span><span class="hs-identifier">a</span><span class="hs-cpp">
#endif
</span><span>       </span><span class="hs-special">)</span><span>
</span><span id="line-147"></span><span>    </span><span class="hs-glyph">=&gt;</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621679615566"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679615567"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615566"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NonEmptySet"><span class="hs-identifier hs-type">NonEmptySet</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679615567"><span class="hs-identifier hs-type">b</span></a></span></span></span><span>
</span><span id="line-148"></span><span id="map"><span class="annot"><span class="annottext">map :: forall b a. Ord b =&gt; (a -&gt; b) -&gt; NonEmptySet a -&gt; NonEmptySet b
</span><a href="Distribution.Compat.NonEmptySet.html#map"><span class="hs-identifier hs-var hs-var">map</span></a></span></span><span> </span><span id="local-6989586621679615210"><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679615210"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-type">NES</span></a></span><span> </span><span id="local-6989586621679615209"><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615209"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Set b -&gt; NonEmptySet b
forall a. Set a -&gt; NonEmptySet a
</span><a href="Distribution.Compat.NonEmptySet.html#NES"><span class="hs-identifier hs-var">NES</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(a -&gt; b) -&gt; Set a -&gt; Set b
forall b a. Ord b =&gt; (a -&gt; b) -&gt; Set a -&gt; Set b
</span><a href="../../containers/src/Data.Set.Internal.html#map"><span class="hs-identifier hs-var">Set.map</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679615210"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">Set a
</span><a href="#local-6989586621679615209"><span class="hs-identifier hs-var">x</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-149"></span><span>
</span><span id="line-150"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-151"></span><span class="hs-comment">-- Internal</span><span>
</span><span id="line-152"></span><span class="hs-comment">-------------------------------------------------------------------------------</span><span>
</span><span id="line-153"></span><span>
</span><span id="line-154"></span><span id="local-6989586621679615575"><span class="annot"><a href="Distribution.Compat.NonEmptySet.html#panic"><span class="hs-identifier hs-type">panic</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#String"><span class="hs-identifier hs-type">String</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679615575"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-155"></span><span id="panic"><span class="annot"><span class="annottext">panic :: forall a. String -&gt; a
</span><a href="Distribution.Compat.NonEmptySet.html#panic"><span class="hs-identifier hs-var hs-var">panic</span></a></span></span><span> </span><span id="local-6989586621679615205"><span class="annot"><span class="annottext">String
</span><a href="#local-6989586621679615205"><span class="hs-identifier hs-var">msg</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">String -&gt; a
forall a. HasCallStack =&gt; String -&gt; a
</span><a href="../../base/src/GHC.Err.html#error"><span class="hs-identifier hs-var">error</span></a></span><span> </span><span class="annot"><span class="annottext">(String -&gt; a) -&gt; String -&gt; a
forall a b. (a -&gt; b) -&gt; a -&gt; b
</span><a href="../../base/src/GHC.Base.html#%24"><span class="hs-operator hs-var">$</span></a></span><span> </span><span class="annot"><span class="annottext">String
</span><span class="hs-string">&quot;NonEmptySet invariant violated: &quot;</span></span><span> </span><span class="annot"><span class="annottext">String -&gt; ShowS
forall a. [a] -&gt; [a] -&gt; [a]
</span><a href="../../base/src/GHC.Base.html#%2B%2B"><span class="hs-operator hs-var">++</span></a></span><span> </span><span class="annot"><span class="annottext">String
</span><a href="#local-6989586621679615205"><span class="hs-identifier hs-var">msg</span></a></span><span>
</span><span id="line-156"></span></pre></body></html>